Universal axioms for bisimulationsDEGANO, P; DE NICOLA, R; MONTANARI, U et al.Theoretical computer science. 1993, Vol 114, Num 1, pp 63-91, issn 0304-3975Conference Paper

Protection and synchronisation in a message-switched systemLIVESEY, J; MANNING, E.Computer networks (1976). 1983, Vol 7, Num 4, pp 253-268, issn 0376-5075Article

Correctness proofs of communicating processes: three illustrative examples from the literatureOSSEFORT, M.ACM transactions on programming languages and systems. 1983, Vol 5, Num 4, pp 620-640, issn 0164-0925Article

On a load balancing bus accessing schemeAFSHARI, P. V; BRUELL, S. C; KAIN, R. Y et al.IEEE transactions on computers. 1983, Vol 32, Num 8, pp 766-770, issn 0018-9340Article

Credibility assessments: Operational issues & technology impact for law enforcement applicationsRYAN, Andrew H; PAVLIDIS, Ioannis; SHASTRI, Ananda et al.SPIE proceedings series. 2003, pp 169-182, isbn 0-8194-4930-X, 14 p.Conference Paper

Evaluation of Network Port Scanning ToolsEL-NAZEER, Nazar; DAIMI, Kevin.Security & management. International conferenceWorldComp'2011. 2011, pp 465-471, isbn 1-60132-196-1 1-60132-197-X 1-60132-198-8, 7 p.Conference Paper

TECHNOLOGY-FACILITATED : 'GIVE ACCORDING TO YOUR ABILITIES, RECEIVE ACCORDING TO YOUR NEEDS'NOV, Oded; RAO, Bharat.Communications of the ACM. 2008, Vol 51, Num 5, pp 83-87, issn 0001-0782, 5 p.Article

Principles of distributed systems (10th International conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006)Shvartsman, Alexander A.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-49990-3, 1Vol, XIII-439 p, isbn 3-540-49990-3Conference Proceedings

SIROCCO 2005 : structural information and communication complexity (Mont Saint Michel, 24-26 May 2005)Pelc, Andrzej; Raynal, Michel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26052-8, X, 322 p, isbn 3-540-26052-8Conference Proceedings

FORTE 2004 : formal techniques for networked and distributed systems (Madrid, 27-30 September 2004)de Frutos-Escrig, David; Nunez, Manuel.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23252-4, X, 375 p, isbn 3-540-23252-4Conference Proceedings

DARPA OPX information assurance: Technologies and lessons learnedLOWRY, John H; MAUGHAN, Douglas.SPIE proceedings series. 2003, pp 52-62, isbn 0-8194-4930-X, 11 p.Conference Paper

There Is No Getting Around It: You Are Building a Distributed SystemCAVAGE, Mark.Communications of the ACM. 2013, Vol 56, Num 6, pp 63-70, issn 0001-0782, 8 p.Article

NETWORKING 2006 (networking technologies, services, protocols)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34192-7, 1Vol, XXVI-1276 p, isbn 3-540-34192-7Conference Proceedings

PAM 2004 : passive and active network measurement (Antibes les Pins, 19-20 April 2004)Barakat, Chadi; Pratt, Ian.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21492-5, XI, 300 p, isbn 3-540-21492-5Conference Proceedings

Advances in web intelligence (Cancun, 16-19 May 2004)Favela, Jesus; Menasalvas, Ernestina; Chavez, Edgar et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22009-7, XIII, 226 p, isbn 3-540-22009-7Conference Proceedings

LCN 2004 (29th Annual IEEE International Conference on Local Computer Networks)Conference on Local Computer Networks. 2004, isbn 0-7695-2260-2, 1Vol, XXX-781 p, isbn 0-7695-2260-2Conference Proceedings

Part I: Foundations of distributed systems : What do we still expect from theory?SCHIPER, André.Future directions in distributed computing (research and position papers). Lecture notes in computer science. 2003, pp 14-16, issn 0302-9743, isbn 3-540-00912-4, 3 p.Book Chapter

Thermal imaging for law enforcement and security, post 9-11FRANCISCO, Glen L; BILLUPS, Ramsey B; DEHORN, Tom et al.SPIE proceedings series. 2003, pp 453-464, isbn 0-8194-4930-X, 12 p.Conference Paper

Technologies for advanced heterogeneous networks II (Second Asian internet engineering conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006)Cho, Kenjiro; Jacquet, Philippe.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-49364-6, 1Vol, XI-251 p, isbn 3-540-49364-6Conference Proceedings

Advances in computer science (ASIAN 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30767-2, 1Vol, XIII-294 p, isbn 3-540-30767-2Conference Proceedings

Networking 2004 : networking technologies, services, and protocols ; performance of computer and communication networks ; mobile and wireless communications (Athens, 9-14 May 2004)Mitrou, Nikolas; Kontovasilis, Kimon; Rouskas, George N et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21959-5, XXXIII, 1519 p, isbn 3-540-21959-5Conference Proceedings

Advanced distributed systems (Guadalajara, 24-30 January 2004, revised selected papers)Larios, Victor; Ramos, Félix F; Unger, Herwig et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22172-7, VIII, 283 p, isbn 3-540-22172-7Conference Proceedings

24th International Conference on Distributed Computing Systems (proceedings)International Conference on Distributed Computing Systems. 2004, isbn 0-7695-2086-3, 1Vol, XX-797 p, isbn 0-7695-2086-3Conference Proceedings

Conference proceedings of the 2004 IEEE International Performance, Computing, and Communications Conference (Phoenix, Arizona, U.S.A., April 15-17, 2004)IEEE International Performance, Computing, and Communications Conference. 2004, isbn 0-7803-8396-6, 1Vol, XIX-874 p, isbn 0-7803-8396-6Conference Proceedings

Tactical mobile robots for SWAT teamsMORE, Grinnell.SPIE proceedings series. 2003, pp 567-574, isbn 0-8194-4930-X, 8 p.Conference Paper